Nuprl Definition : cmconfig 11,40
cmconfig(list) == inl list  
latex

Definitionsinl x 
FDL editor aliasescmconfig

origin